1141. Static analysis : third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993 : proceedings
پدیدآورنده : Patrick Cousot...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
724
1142. Structure and interpretation of computer programs
پدیدآورنده : / Harold Abelson and Gerald Jay Sussman, with Julie Sussman
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Electronic digital computers--Programming,LISP (Computer program language),Programming languages
رده :
QA
,
76
.
6
,.
A255
,
1996
1143. Studies in abstract families of languages /
پدیدآورنده : by Seymour Ginsburg, Sheila Greibach, John Hopcroft
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical linguistics,Programming languages (Electronic computers)
1144. Study and compilation of computer languages
پدیدآورنده : Wallach, Yehuda
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Compiling )Electronic computers(
رده :
QA
76
.
7
.
W34
1145. Swift by example :
پدیدآورنده : Giordano Scalzo
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development,Programming languages (Electronic computers)
رده :
QA76
.
7
1146. Swift essentials :
پدیدآورنده : Dr. Alex Blewitt
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
1147. Swift 3 for Absolute Beginners
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95
1148. #Swift for dummies
پدیدآورنده : #Jesse Feiler
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Swift )Computer program language( ،Programming languages )Electronic computers(
رده :
#
QA
،#
F455
،#
2015
1149. #Symbol manipulation languages and techniques
پدیدآورنده : #Edited by Daniel G. Bobrow
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Programming languages )Electronic computers( -- Congresses
رده :
#
QA
،#.
I34
،#
1966
1150. Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages
پدیدآورنده : IFIP Working Conference on Symbol Manipulation Languages, )6691, Pisa, Italy(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
5
.
I34
1966
1151. Symposium on Semantics of Algorithmic Languages
پدیدآورنده : edited by E. Engeler
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
1152. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
1153. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
1154. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
1155. Synchronous programming of reactive systems
پدیدآورنده : Halbwachs, Nicolas
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Real-time programming,، Programming languages )Electronic computers(
رده :
QA
76
.
54
.
H36
1993
1156. Syntax-directed semantics :
پدیدآورنده : Zoltán Fülöp, Heiko Vogler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
رده :
QA76
.
7
Z658
1998
1157. Syntax of programming languages: theory and practice
پدیدآورنده : Backhouse, Roland C.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
1158. System simulation : programming styles and languages
پدیدآورنده : Kreutzer, Wolfgang.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65K74
1986
1159. System simulation:programming styles & languages
پدیدآورنده : KREUTZER,WOLFGANG
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
رده :
QA
76
.
9
.
C65
K74
1160. #System technical manual
پدیدآورنده :
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Computer programs ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S98
